How to Put Your Patients on a “Hair Diet”

Put your chips on transcriptomics.

The course of any disease is determined by a complex interplay between innate characteristics and environmental triggers. Accordingly, evidence-based risk factor assessment in heart disease requires a detailed family history to gauge inherited features and accurate estimates of smoking, diet, exercise, and other aspects that constitute important extrinsic disease modifiers. The value of traditi...

How to Boost Your Immune System Against Corona-virus Infection?

New emerging viruses like coronavirus 2019 (COVID-19) infections are always frightening. We know little about theirtransmission, behaviors, clinical manifestations, and outcomes. There is no vaccine or therapeutic strategies to dealwith these infections yet. In this situation, preventive measures may be promising. Hand hygiene is a very importantissue in preventing viral infec...

Put your Model Checker on Diet : Veri cation on Local States ?

Net unfoldings are a well-known partial order semantics for Petri nets, very suited to act as models for branching-time logics interpreted on local states. We demonstrate how these local logics (in particular a distributed-calculus) can be used to express properties from the point of view of one component in a distributed system. Thus { in contrast to interleaving branching time logics { in gen...

Put Your Best

Put your head on my shoulder.